Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
281	Introduction to: Computers & Programming: Strings and Other Sequences in Python Part I Adam Meyers Add to Reading List Source URL: nlp.cs.nyu.edu Language: English - Date: 2011-03-28 15:44:16 Character encoding Formal languages Data types Primitive types Control characters Python String Newline C Computing Software engineering Computer programming
282	YARRA: An Extension to C for Data Integrity and Partial Safety (MSR-TR[removed]Cole Schlesinger Karthik Pattabiraman Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-12-08 20:37:42 C++ Data types Procedural programming languages Type theory Pointer Type system Type safety C dynamic memory allocation C Computing Software engineering Computer programming
283	Introduction to Scientific Computing Adjusted from: http://www.nanohub.org/resources/?id=99 Original Authors are: Eric Jones and Travis Oliphant Many excellent resources on the web Add to Reading List Source URL: www.physics.rutgers.edu Language: English - Date: 2013-02-20 11:47:15 Scripting languages Formal languages Data types C Standard Library Printf format string Python Regular expression String Perl module Computing Software engineering Computer programming
284	Towards Certification of Resource Consumption Alberto Momigliano and Lennart Beringer Laboratory for Foundations of Computer Science University of Edinburgh Work carried out in the EU-project ”Mobile Resource Guarantee Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-04-12 12:28:43 Data types Procedural programming languages Cross-platform software Functional languages Lisp programming language Java virtual machine Type system ALGOL 68 List Computing Software engineering Programming language theory
285	A program logic for resources and its application to optimisation validation Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-05 13:08:28 Data types Functional languages Procedural programming languages Lisp programming language Functional programming List Cons ALGOL 68 Operational semantics Software engineering Computing Computer programming
286	CUDA Fortran Programming Guide and Reference Add to Reading List Source URL: www.pgroup.com Language: English - Date: 2015-02-03 19:10:39 Procedural programming languages GPGPU Nvidia Data types Primitive types CUDA Fortran The Portland Group Basic Linear Algebra Subprograms Computing Computer programming Software engineering
287	Part The Basics of Debugging Chapter 1 Understanding the Types of Errors in SAS Programs..................... 3 Chapter 2 Reading the SAS Log and Interpreting SAS Messages.......................29 2 Add to Reading List Source URL: support.sas.com Language: English - Date: 2007-10-19 18:36:47 Computer errors 4GL Business intelligence SAS Procedural programming languages Syntax error Logic error Debugging Software bug Computing Software engineering Programming language theory
288	Clean-up, Comments and Code – Making it Maintainable Clay and Lori Martin, Martin Consulting, Susquehanna, PA ABSTRACT It was exciting writing that new program: getting the code to run without errors and getting the re Add to Reading List Source URL: www.ats.ucla.edu Language: English - Date: 2015-02-04 15:52:37 Control flow IBM software Procedural programming languages Cross-platform software Data types SAS Debugging Assignment C Computing Software engineering Computer programming
289	Design and Implementation of Kyoto Common Lisp Taiichi YUASA Department of Information and Computer Sciences Toyohashi University of Technology Toyohashi 440, Japan 13 January 1990 Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-03-13 20:10:51 Lisp programming language Functional languages Data types Lisp Cons NIL Genera Variable Maclisp Computing Software engineering Computer programming
290	ThP research re, in this paper was sponsored Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-05-08 21:20:14 Lisp programming language Functional programming Data types Functional languages Procedural programming languages Append CAR and CDR Cons Lisp Software engineering Computing Computer programming

UPDATE